
#ifndef DAHA
#define DAHA

int boot_daha(void /* for now */);
int shutdown_daha(void /* for now */);
int get_sched_size(void); // Return the amount of memory used up 
													// by the scheduler (in bytes)


#endif
